Project-Team:INDES

Project-Team Indes

Personnel

Overall Objectives

Research Program

Parallelism, concurrency, and distribution
Web and functional programming
Security of diffuse programs

New Software and Platforms

Bigloo
Camloo
Hop
IFJS
iflowsigs.js
iflowTYPES.js
Mashic
scheme2JS
Hiphop.js
Server-Side Protection against Third Party Web Tracking
BELL
webstats

New Results

Type Abstraction for Relaxed Noninterference
Multiparty Reactive Sessions
Multiparty Reversible Sessions
JavaScript ahead-of-time compilation
Orchestration of Web applications
On the Content Security Policy Violations due to the Same-Origin Policy
Control What You Include! Server-Side Protection Against Third Party Web Tracking
A Better Facet of Dynamic Information Flow Control
Impossibility of Precise and Sound Termination Sensitive Security Enforcements
BELL: Browser fingerprinting via Extensions and Login-Leaks
Large-scale measurement of invisible images for Web tracking

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year

Inria | Raweb 2017 | Presentation of the Project-Team INDES | INDES Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: New Software and Platforms

Mashic

Functional Description: The Mashic compiler is applied to mashups with untrusted scripts. The compiler generates mashups with sandboxed scripts, secured by the same origin policy of the browsers. The compiler is written in Bigloo.

Contact: Manuel Serrano
URL: http://web.ist.utl.pt/~ana.matos/Mashic/mashic.html

Previous |

Home | Next next